Proving if something is a group

welcome to shbcf.ru